Nuprl Definition : gcd
2,24
postcript
pdf
gcd(
a
;
b
) == if
b
=
0
a
else gcd(
b
;
a
rem
b
) fi
(recursive)
latex
Definitions
Y
,
if
b
t
else
f
fi
,
i
=
j
FDL editor aliases
gcd
origin
0
a else gcd(b;a rem b) fi (recursive) 0 a else gcd(b;a rem b) fi (recursive) t else f fij